Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine
نویسندگان
چکیده
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper describes the verification of the fault protection engine of the Deep-Impact spacecraft flight software using a temporal logic based run-time monitoring tool.
منابع مشابه
Architectural Plan for Constructing Fault Tolerable Workflow Engines Based on Grid Service
In this paper the design and implementation of fault tolerable architecture for scientific workflow engines is presented. The engines are assumed to be implemented as composite web services. Current architectures for workflow engines do not make any considerations for substituting faulty web services with correct ones at run time. The difficulty is to rollback the execution state of the workflo...
متن کاملArchitectural Plan for Constructing Fault Tolerable Workflow Engines Based on Grid Service
In this paper the design and implementation of fault tolerable architecture for scientific workflow engines is presented. The engines are assumed to be implemented as composite web services. Current architectures for workflow engines do not make any considerations for substituting faulty web services with correct ones at run time. The difficulty is to rollback the execution state of the workflo...
متن کاملApplying Frequency Response method for contact Rails Fault Diagnosing in Ungrounded Electrical Railway System
Abstract General faults in regular electrical railways system could be detect by implementing the specific protection functions such as ground fault or sensitive earth fault. Otherwise, in ungrounded electrical railway systems which using both feeding and return contact rail at the same time, fault detection cannot done with above-mentioned function. Due to recent growth in electrical railway ...
متن کاملDeliberative Reasoning in Software Health Management
Rising software complexity in aerospace systems makes them very difficult to analyze and prepare for all possible fault scenarios at design-time. Therefore, classical run-time fault-tolerance techniques, such as self-checking pairs and triple modular redundancy are used. However, several recent incidents have made it clear that existing software fault tolerance techniques alone are not sufficie...
متن کاملA quantitative approach to run-time monitoring of Markovian concurrent systems
Techniques for modeling and evaluation of timed concurrent systems can be effectively employed to support runtime monitoring of safety-critical systems. We address the issue by developing a predictive analysis engine that can guide a distributed sensor network to adaptively monitor a system that depends on a set of components, so as to guarantee reliable observation of critical system condition...
متن کامل